Korel, Bogdan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Dynamic slicing of computer programs

Bogdan Korel, Janusz Laski

Journal:

Journal of Systems and Software

Year:

1990

Language:

english

File:

PDF, 1016 KB

english, 1990

2

A formalisation of the relationship between forms of program slicing

Dave Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel

Journal:

Science of Computer Programming

Year:

2006

Language:

english

File:

PDF, 467 KB

english, 2006

3

Dynamic program slicing methods

Bogdan Korel, Jurgen Rilling

Journal:

Information and Software Technology

Year:

1998

Language:

english

File:

PDF, 425 KB

english, 1998

4

The chaining approach for software test data generation

Ferguson, Roger, Korel, Bogdan

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1996

Language:

english

File:

PDF, 1.46 MB

english, 1996

5

[ACM Press the 4th international conference - Sydney, Australia (2011.11.14-2011.11.19)] Proceedings of the 4th international conference on Security of information and networks - SIN '11 - Improving operation time bounded mission critical systems' attack-survivability through controlled source-code transformation

Korel, Bogdan, Ren, Shangpin, Kwiat, Kevin, Auguste, Arnaud, Vignaux, Alban

Year:

2011

Language:

english

File:

PDF, 453 KB

english, 2011

6

Formal timing analysis for distributed real-time programs

Horst F. Wedde, Bogdan Korel, Dorota M. Huizinga

Journal:

Real-Time Systems

Year:

1994

Language:

english

File:

PDF, 2.17 MB

english, 1994

7

Editorial for Special Issue of JASE on Source Code Analysis and Manipulation

Michael W. Godfrey, Bogdan Korel

Journal:

Automated Software Engineering

Year:

2009

Language:

english

File:

PDF, 121 KB

english, 2009

8

Generating test data for distributed software using the chaining approach

Roger Ferguson, Bogdan Korel

Journal:

Information and Software Technology

Year:

1996

Language:

english

File:

PDF, 1.19 MB

english, 1996

9

Theoretical foundations of dynamic program slicing

Dave Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 423 KB

english, 2006

10

Dynamic method for software test data generation

Journal:

Software Testing, Verification and Reliability

Year:

1992

Language:

english

File:

PDF, 663 KB

english, 1992

11

Regression test suite prioritization using system models

Luay Tahat, Bogdan Korel, Mark Harman, Hasan Ural

Journal:

Software Testing, Verification and Reliability

Year:

2012

Language:

english

File:

PDF, 1.07 MB

english, 2012

12

The program dependence graph in static program testing

Journal:

Information Processing Letters

Year:

1987

Language:

english

File:

PDF, 441 KB

english, 1987

13

Dynamic program slicing

Bogdan Korel, Janusz Laski

Journal:

Information Processing Letters

Year:

1988

Language:

english

File:

PDF, 768 KB

english, 1988

14

Automated test data generation for programs with procedures

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1996

Language:

english

File:

PDF, 700 KB

english, 1996

15

[ACM Press the 5th international workshop - Palma, Illes Balears, Spain (2005.07.12-2005.07.14)] Proceedings of the 5th international workshop on Software and performance - WOSP '05 - Application of redundant computation in software performance analysis

Alzamil, Zakarya, Korel, Bogdan

Year:

2005

Language:

english

File:

PDF, 264 KB

english, 2005

16

Improving System Reliability Against Rational Attacks Under Given Resources

Wang, Li, Ren, Shangping, Korel, Bogdan, Kwiat, Kevin A., Salerno, Eric

Journal:

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Year:

2014

Language:

english

File:

PDF, 5.26 MB

english, 2014

17

[ACM Press the 3rd international workshop - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 - Model-based test prioritization heuristic methods and their evaluation

Korel, Bogdan, Koutsogiannakis, George, Tahat, Luay H.

Year:

2007

Language:

english

File:

PDF, 280 KB

english, 2007

18

[ACM Press the 1994 international symposium - Seattle, Washington, United States (1994.08.17-1994.08.19)] Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 - Forward computation of dynamic program slices

Korel, Bogdan, Yalamanchili, Satish

Year:

1994

Language:

english

File:

PDF, 928 KB

english, 1994

19

[ACM Press the International Symposium - Portland, Oregon, United States (2000.08.21-2000.08.24)] Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 - Black-box test reduction using input-output analysis

Schroeder, Patrick J., Korel, Bogdan

Year:

2000

Language:

english

File:

PDF, 309 KB

english, 2000

20

Dependence analysis in reduction of requirement based test suites

Vaysburg, Boris, Tahat, Luay H., Korel, Bogdan

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2002

Language:

english

File:

PDF, 315 KB

english, 2002

21

[IEEE 2009 International Conference on Software Testing, Verification, and Validation Workshops - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing, Verification, and Validation Workshops - Experimental Comparison of Code-Based and Model-Based Test Prioritization

Korel, Bogdan, Koutsogiannakis, George

Year:

2009

Language:

english

File:

PDF, 153 KB

english, 2009

22

[IEEE 2009 International Conference on Software Testing Verification and Validation (ICST) - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing Verification and Validation - Assertion-Based Validation of Modified Programs

Korel, Bogdan, Zhang, Qi, Tao, Li

Year:

2009

Language:

english

File:

PDF, 363 KB

english, 2009

23

[ACM Press ACM SIGSOFT international symposium - Clearwater Beach, Florida, United States (1998.03.02-1998.03.04)] Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98 - Automated regression test generation

Korel, Bogdan, Al-Yami, Ali M.

Year:

1998

Language:

english

File:

PDF, 1.01 MB

english, 1998

24

[IEEE 2008 IEEE International Conference on Software Maintenance (ICSM) - Beijing, China (2008.09.28-2008.10.4)] 2008 IEEE International Conference on Software Maintenance - Application of system models in regression test suite prioritization

Korel, Bogdan, Koutsogiannakis, George, Tahat, Luay H.

Year:

2008

Language:

english

File:

PDF, 133 KB

english, 2008

25

Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011)

Harman, Mark, Korel, Bogdan

Journal:

Software Testing, Verification and Reliability

Year:

2013

Language:

english

File:

PDF, 23 KB

english, 2013

26

Editorial for special issue of STVR on software testing, verification, and validation - volume 1 (extended selected papers from ICST 2011)

Harman, Mark, Korel, Bogdan

Journal:

Software Testing, Verification and Reliability

Year:

2013

Language:

english

File:

PDF, 23 KB

english, 2013

27

[ACM Press the 2004 ACM SIGSOFT international symposium - Boston, Massachusetts, USA (2004.07.11-2004.07.14)] Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 - Evolutionary testing in the presence of loop-assigned flags

Baresel, André, Binkley, David, Harman, Mark, Korel, Bogdan

Year:

2004

Language:

english

File:

PDF, 236 KB

english, 2004

28

[ACM Press the 1996 international symposium - San Diego, California, United States (1996.01.08-1996.01.10)] Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 - Automated test data generation for programs with procedures

Year:

1996

Language:

english

File:

PDF, 700 KB

english, 1996

29

[ACM Press the international symposium - Roma, Italy (2002.07.22-2002.07.24)] Proceedings of the international symposium on Software testing and analysis - ISSTA '02 - Dependence analysis in reduction of requirement based test suites

Vaysburg, Boris, Tahat, Luay H., Korel, Bogdan

Year:

2002

Language:

english

File:

PDF, 315 KB

english, 2002

30

[ACM Press the 3rd international workshop - Trondheim, Norway (1991.06.12-1991.06.14)] Proceedings of the 3rd international workshop on Software configuration management - - Version management in distributed network environment

Korel, Bogdan, Wedde, Horst, Magaraj, Srinivas, Nawaz, Kalique, Dayana, Venugopal

Year:

1991

Language:

english

File:

PDF, 681 KB

english, 1991

31

Toward automatically quantifying the impact of a change in systems

Almasri, Nada, Tahat, Luay, Korel, Bogdan

Journal:

Software Quality Journal

Year:

2016

Language:

english

File:

PDF, 2.91 MB

english, 2016

32

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation - Message from the program chairs

Harman, Mark, Korel, Bogdan

Year:

2011

Language:

english

File:

PDF, 102 KB

english, 2011

33

Evolutionary testing in the presence of loop-assigned flags

Baresel, André, Binkley, David, Harman, Mark, Korel, Bogdan

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2004

Language:

english

File:

PDF, 236 KB

english, 2004

34

Automated regression test generation

Korel, Bogdan, Al-Yami, Ali M.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1998

Language:

english

File:

PDF, 1.01 MB

english, 1998

35

SPIE Proceedings [SPIE 1986 Technical Symposium Southeast - Orlando (Tuesday 1 April 1986)] Applications of Artificial Intelligence III - A Program Error Localization Expert System

Korel, Bogdan, Gilmore, John F.

Year:

1986

Language:

english

File:

PDF, 190 KB

english, 1986

36

State-based models in regression test suite prioritization

Tahat, Luay, Korel, Bogdan, Koutsogiannakis, George, Almasri, Nada

Journal:

Software Quality Journal

Year:

2016

Language:

english

File:

PDF, 1.64 MB

english, 2016

37

[ACM Press the 33rd ACM/IEEE International Conference - Montpellier, France (2018.09.03-2018.09.07)] Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018 - Automatically quantifying the impact of a change in systems (journal-first abstract)

Almasri, Nada, Tahat, Luay, Korel, Bogdan

Year:

2018

Language:

english

File:

PDF, 346 KB

english, 2018

38

Survivability Analysis of K-variant Architecture for Different Memory Attacks and Defense Strategies

Bekiroglu, Berk, Korel, Bogdan

Journal:

IEEE Transactions on Dependable and Secure Computing

Year:

2019

Language:

english

File:

PDF, 2.22 MB

english, 2019

39

Survivability Analysis of K-variant Architecture for Different Memory Attacks and Defense Strategies

Bekiroglu, Berk, Korel, Bogdan

Journal:

IEEE Transactions on Dependable and Secure Computing

Year:

2019

File:

PDF, 2.22 MB

2019